GitHub - bacam/coqjvm: Coq executable semantics and resource verifier
This repository contains: An executable semantics for a substantial fragment of the JVM in Coq [1]; a verifier for simple resource properties where the specifications and proofs are embedded in class files, written in Coq; an OCaml library for dealing with JVM classfiles; and a slightly modified copy of extlib 1.5 (see below). At the time of writing, I was able to build it with OCaml 4.02.3 and Co
JYaml - Yaml library for the Java language
Notice: I am no longer maintaining JYaml. See this this Q&A for a list of alternatives. YAML4DbUnit YAML4DbUnit integrates JYaml with DbUnit so that you can write your data set files in YAML rather than XML. Here is an example: customer: - id: 1 name: "John McEnroe" login: jMAC - id: 2 name: "Larry Bird" login: larryB transactions: - id: 1 customer_id: 1 item_id: 1 purchase_date: "2007-05-15 15:40
Services
Services EclipseSource offers the following services to support your development project. EclipseSource has always had a strong focus on Tools, including IDEs, Software Engineering Tools, Domain-Specific Tools and Modeling Tools. Use our experience in designing, developing and enhancing tools for a variety of domains and based on all major technology platforms (desktop and web).
SAStrutsの環境別設定ファイルを build.xmlで切り替える - DISってHONEY♪ @gungnir_odin
今回は、WARファイルを作成する手順を Ant を利用してバッチ化します。 掲載する build.xmlを基にして自分のプロジェクトに適用してみてはどうでしょうか。 よくあるケース SAStrutsを利用したプロジェクトで、本番環境にデプロイするWARファイルを作成する際に、 本番環境用の設定ファイルを手動で上書きして、Eclipseのエクスポート機能や、Tomcatプラグインで出力しているケースがあります。 この方法だと手動の部分でミスする可能性があります。 さらに、再び開発を行う場合には、設定ファイルを開発用に戻す必要があり面倒です。 また、Tomcatプラグインで出力した場合に、 WARファイルの中に不必要なファイル（ライブラリのソースファイル等）も混在しているため、 本番環境にデプロイした後、サービスが起動するまで時間がかかります。 本番環境用の設定ファイルを準備 まず、本番環境用
同僚の外国人プログラマ観察記録 - rinu's blog
概要 1ヶ月くらい一緒にお仕事している外国人プログラマさんを観察した記録です。 スペック 性別: 男性 仕事内容: うちの会社のプログラマは、ざっくり JS 等のフロントエンドと、 Java 等のバックエンドエンジニアにわかれているのですが、彼はどちらもやっているようです。 好きな食べ物: はちみつ たまに、くまさんのようにはちみつを舐めていました。 性格 彼はめんどくさがり屋です。 同僚の Windows ユーザの手伝いをしている時、 "C:¥Program Files¥..." みたいなパスを打ちながら、「めんどくさい。 ああ めんどくさい」 と 100回くらいつぶやいていました。 (普段の彼の環境は mac なので /usr/local/bin) パスワードを覚えるのもめんどくさいので 1Password で管理しているようです。 PC スペック マシン: Macbook Pro メ
Tomcat7でWebSocketを使ってみた - chitan's blog
※Tomcat7.0.52対応サンプルプログラムはこちら。 今更感もありますが、Tomcat7でWebSocketがサポートされましたので、簡単なサンプル（チャットアプリ）を書いてみました。WebSocketを使えばもっと色々なことができそうなのですが、動作確認を含めたサンプルということで... まずはソースです。３つありますが、上からHTML、web.xml、Javaです。 HTML 7行目でWebSocketオブジェクトを作成します。スキームはwsです。 8行目のonopenは接続が完了したタイミングで実行されます。今回は何も書いていません。 10行目のonmessageはメッセージを受信したタイピングで実行されます。今回はチャットメッセージが送られてきますので、document.getElementById()を使って画面を更新します。 14行目のsendでサーバにメッセージを送信し
JavaDoc を Doclava で生成するようにしたら捗った - mallowlabsの備忘録
Java のドキュメントと言えば JavaDoc ですが 見た目があまりにもダサ過ぎやしませんかね？ こんなんじゃ JavaDoc を書くモチベーションが下がってしまいます。 そこで JavaDoc を Doclava で生成するようにしました。 Google Code Archive - Long-term storage for Google Code Project Hosting. するとこんな風に今時のかっこいいデザインで出力されます。 検索ボックスは、パッケージ名とクラス名を インクリメンタル検索ができて機能的にも便利です。 使い方 Maven で使う場合には reporting 要素の下に以下のように書きます。 <reporting> <plugins> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifac
Java port of Mozilla's Automatic Charset Detection algorithm.
What is jchardet ? jchardet is a java port of the source from mozilla's automatic charset detection algorithm. The original author is Frank Tang. What is available here is the java port of that code. The original source in C++ can be found from http://lxr.mozilla.org/mozilla/source/intl/chardet/ More information can be found at http://www.mozilla.org/projects/intl/chardet.html ^Top Where can I dow
Eclipse用C言語コーディングスタイルチェックプラグイン『KariyaSiesta』をリリースしました - みずぴー日記
伊東まで開発合宿に行って、みんなでC言語のコーディングスタイルチェッカーを作ってました。 => KariyaSiesta | C 言語向けのコーディングチェッカ 配布サイトも作りました。 ルールを簡単にカスタマイズできるようになってるので、みんな使うといいでゲソ。 特徴 Eclipseのプラグインとして使える Eclipseプラグインとして実装されているので、IDEで使えます。 もちろんCDTとも組合せることができます。 簡単イントール 更新サイトから簡単にインストールできます。 もちろん自動アップデートにも対応してます。 XPathでルールで書ける ルールはXPathで書くことができます。 例えば『whileの内でbreakを使ってはいけない』というルールは以下のようになります。 こまかい書き方はマニュアルを参考にしてください。 //Stmt[@sort="While" and .//k
EclEmma (Java Code Coverage for Eclipse)
Overview EclEmma is a free Java code coverage tool for Eclipse, available under the Eclipse Public License. It brings code coverage analysis directly into the Eclipse workbench: Fast develop/test cycle: Launches from within the workbench like JUnit test runs can directly be analyzed for code coverage. Rich coverage analysis: Coverage results are immediately summarized and highlighted in the Java s
Polyglot extensible compiler framework
Polyglot An open compiler front end framework for building Java language extensions Polyglot is a highly extensible compiler front end for the Java programming language. It is implemented as a Java class framework using design patterns to promote extensibility. Using Polyglot, language extensions can be implemented without duplicating code from the framework itself. Polyglot has been used to imple
joal: Home
Welcome to the Java Bindings for OpenAL / Sound3D Toolkit Project! The JOAL Project hosts a reference implementation of the Java bindings for OpenAL API, and is designed to provide hardware-supported 3D spatialized audio for games written in Java. It is part of a suite of open-source technologies initiated by the Game Technology Group at Sun Microsystems, with intention of making the develo
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://dl.acm.org/citation.cfm?id=1786136
Homepage - Flyway
Google Code Archive - Long-term storage for Google Code Project Hosting.
How can I create a servlet with jruby (running with jetty)?
Writing Comet Applications Using JRuby and the Atmosphere Framework | 6312
GitHub - Atmosphere/atmosphere: Event Driven WebSockets Framework with Cross-Browser Fallbacks
Google Code Archive - Long-term storage for Google Code Project Hosting.
KariyaSiesta | C 言語向けのコーディングチェッカ